YES 0.562
↳ HASKELL
↳ BR
((succ :: Ordering -> Ordering) :: Ordering -> Ordering) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((succ :: Ordering -> Ordering) :: Ordering -> Ordering) |
import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
toEnum 0 = LT toEnum 1 = EQ toEnum 2 = GT
toEnum wy = toEnum5 wy toEnum wu = toEnum3 wu toEnum vz = toEnum1 vz
toEnum0 True vz = GT
toEnum1 vz = toEnum0 (vz == 2) vz
toEnum2 True wu = EQ toEnum2 wv ww = toEnum1 ww
toEnum3 wu = toEnum2 (wu == 1) wu toEnum3 wx = toEnum1 wx
toEnum4 True wy = LT toEnum4 wz xu = toEnum3 xu
toEnum5 wy = toEnum4 (wy == 0) wy toEnum5 xv = toEnum3 xv
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
((succ :: Ordering -> Ordering) :: Ordering -> Ordering) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
(succ :: Ordering -> Ordering) |
import qualified Prelude |